From 8da81f65ac8031092de37efc3bef70fbf9df0350 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Thu, 15 Dec 2005 20:43:44 +0100 Subject: [PATCH] Unmap io shared page only if it is properly initialized. Signed-off-by: Xin Li --- xen/arch/x86/vmx.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/arch/x86/vmx.c b/xen/arch/x86/vmx.c index 6f087f8094..521f5fe15e 100644 --- a/xen/arch/x86/vmx.c +++ b/xen/arch/x86/vmx.c @@ -102,7 +102,8 @@ void vmx_relinquish_resources(struct vcpu *v) if (v->vcpu_id == 0) { /* unmap IO shared page */ struct domain *d = v->domain; - unmap_domain_page((void *)d->arch.vmx_platform.shared_page_va); + if ( d->arch.vmx_platform.shared_page_va ) + unmap_domain_page((void *)d->arch.vmx_platform.shared_page_va); } destroy_vmcs(&v->arch.arch_vmx); -- 2.30.2